A => Writer[W, B]